Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers: 7687 (Lecture Notes in Computer Science)
by Shaz Qadeer,Serdar Tasiran
ISBN 13: 9783642356315
Format: Paperback (336 pages) Publisher: Springer Published: 11 Jan 2013
Save for later